-
1 semantic implication
Большой англо-русский и русско-английский словарь > semantic implication
-
2 semantic implication
Математика: семантическая импликация, семантическое следование -
3 semantic implication
implikacja semantycznaEnglish-Polish dictionary for engineers > semantic implication
-
4 semantic implication
English-Russian scientific dictionary > semantic implication
-
5 implication
-
6 семантическая импликация
Большой англо-русский и русско-английский словарь > семантическая импликация
-
7 graph
1) граф2) график; кривая || строить график; вычерчивать кривую3) диаграмма || представлять в виде диаграммы4) вчт моносимвольная графема, граф•- graph of strictly partial order
- acyclic graph
- alternating graph
- alternating-composition graph
- animated bar graph
- area graph
- associated undirected graph
- atomic graph
- attachment graph
- balanced signed graph
- bar graph
- basis graph
- bicolorable graph
- bicolored graph
- bipartite graph
- block graph
- bunch graph
- Cayley's graph
- circuit closed graph
- circuit connected graph
- circuit-free graph
- clique graph
- color graph
- colored graph
- column graph
- columnar graph
- communication graph
- complete graph
- connected graph
- converse graph
- coordinate graph
- critical graph
- current graph
- cyclic graph
- data flow graph
- Desargues' graph
- descendence graph
- directed graph
- dual Y-axis graph
- Euler graph
- Eulerian graph
- even graph
- exclusion graph
- exploded pie graph
- finite graph
- flat graph
- fractal graph
- function graph
- fuzzy graph
- general graph
- graceful graph
- Hamilton graph
- Hamiltonian graph
- high/low/close/open graph
- HLCO graph
- horizontal bar graph
- identity graph
- implication graph
- infinite graph
- interaction graph
- interchange graph
- interval graph
- isomorphic graph
- k-chromatic graph
- k-colorable graph
- k-edge connected graph
- knot graph
- labeled graph
- labeled semantic graph
- levelized graph
- line graph
- linked pie-column graph
- line-symmetric graph
- lobe graph
- locally finite graph
- locally restricted graph
- logarithmic graph
- l-vertex connected graph
- maximal strongly singular graph
- mixed graph
- mixed column/line graph
- m-partite graph
- multidimensional graph
- mutually connected graph
- net graph
- network graph
- nonseparable graph
- numbered undirected graph
- one hundred percent column graph
- one-way graph
- operator graph
- oriented graph
- paired bar graph
- paired pie graph
- Pappus' graph
- Petersen graph
- phonetic graph
- picture graph
- pie graph
- planar graph
- plane graph
- point-symmetric graph
- proportional pie graph
- R-graph
- recursively structured graph
- reduced-flow graph
- region adjacency graph
- regular graph of degree n
- reproduction graph
- rigid circuit graph
- rooted graph
- scatter graph
- sectional graph
- self-complementary graph
- selt-negational signed graph
- semilogarithmic graph
- signal graph
- signal-flow graph
- signed graph
- signed labeled graph
- singular graph
- spanning graph
- stacked column graph
- star graph
- state graph
- strongly cyclically closed graph
- strongly cyclic edge connected graph
- subdivision graph
- symmetric graph
- total graph
- transaction graph
- transition graph
- transitive graph
- transmission graph
- tripartite graph
- two-dimensional lattice graph
- two-partite graph
- undirected graph
- unicyclic graph
- vertex critical graph
- vertical bar graph
- x-y graph -
8 relation
а) соотношение; уравнениеб) связь; зависимостьг) два выражения, соединённые знаком операции сравнения- relation of congruence
- relation of consequence
- relation of direct consequence
- relation of isomorphism
- relation over set
- abstract relation
- almost universal relation
- antisymmetry relation
- apartness relation
- associativity relation
- atomic relation
- base relation
- bifunctional relation
- binary relation
- causal relation
- closure relation
- constitutive relations
- constraint relation
- communication relation
- commutativity relation
- complementariness relation
- completeness relation
- correlation relation
- correspondence relation
- covering relation
- definable relation
- dependence relation
- derived relation
- directed relation
- empty relation
- equality relation
- equinumerosity relation
- equivalence relation
- expressible relation
- extensional relation
- fuzzy relation
- homomorphism relation
- identity relation
- implication relation
- incidence relation
- inclusion relation
- inductive relation
- inequality relation
- intermediacy relation
- inter-organizational relations
- isomorphism relation
- Kramers-Kronig relations
- logical relation
- magnitude relation
- Manley-Rowe relations
- man-machine relation
- membership relation
- multi-valued relation
- negative relation
- one-to-many relation
- one-to-one relation
- ordering relation
- orthogonality relation
- parent-child relation
- partial equivalence relation
- partial ordering relation
- personnel relation
- polynomial relation
- positive relation
- precedence relation
- preference relation
- proportionality relation
- public relations
- reciprocity relations
- recurrent relation
- reflexive relation
- representing relation
- semantic relation
- strict dominance relation
- strong relation
- symmetry relation
- transitive relation
- transitivity relation
- weak relation -
9 graph
1) граф2) график; кривая || строить график; вычерчивать кривую3) диаграмма || представлять в виде диаграммы4) вчт. моносимвольная графема, граф•- alternating graph
- alternating-composition graph
- animated bar graph
- area graph
- associated undirected graph
- atomic graph
- attachment graph
- balanced signed graph
- bar graph
- basis graph
- bicolorable graph
- bicolored graph
- bipartite graph
- block graph
- bunch graph
- Cayley's graph
- circuit closed graph
- circuit connected graph
- circuit-free graph
- clique graph
- color graph
- colored graph
- column graph
- columnar graph
- communication graph
- complete graph
- connected graph
- converse graph
- coordinate graph
- critical graph
- current graph
- cyclic graph
- data flow graph
- Desargues' graph
- descendence graph
- directed graph
- dual Y-axis graph
- Euler graph
- Eulerian graph
- even graph
- exclusion graph
- exploded pie graph
- finite graph
- flat graph
- fractal graph
- function graph
- fuzzy graph
- general graph
- graceful graph
- graph of contiguous channels
- graph of strictly partial order
- Hamilton graph
- Hamiltonian graph
- high/low/close/open graph
- HLCO graph
- horizontal bar graph
- identity graph
- implication graph
- infinite graph
- interaction graph
- interchange graph
- interval graph
- isomorphic graph
- k-chromatic graph
- k-colorable graph
- k-edge connected graph
- knot graph
- labeled graph
- labeled semantic graph
- levelized graph
- line graph
- line-symmetric graph
- linked pie-column graph
- lobe graph
- locally finite graph
- locally restricted graph
- logarithmic graph
- l-vertex connected graph
- maximal strongly singular graph
- mixed column/line graph
- mixed graph
- m-partite graph
- multidimensional graph
- mutually connected graph
- net graph
- network graph
- nonseparable graph
- numbered undirected graph
- one hundred percent column graph
- one-way graph
- operator graph
- oriented graph
- paired bar graph
- paired pie graph
- Pappus' graph
- Petersen graph
- phonetic graph
- picture graph
- pie graph
- planar graph
- plane graph
- point-symmetric graph
- proportional pie graph
- recursively structured graph
- reduced-flow graph
- region adjacency graph
- regular graph of degree n
- reproduction graph
- R-graph
- rigid circuit graph
- rooted graph
- scatter graph
- sectional graph
- self-complementary graph
- selt-negational signed graph
- semilogarithmic graph
- signal graph
- signal-flow graph
- signed graph
- signed labeled graph
- singular graph
- spanning graph
- stacked column graph
- star graph
- state graph
- strongly cyclic edge connected graph
- strongly cyclically closed graph
- subdivision graph
- symmetric graph
- total graph
- transaction graph
- transition graph
- transitive graph
- transmission graph
- tripartite graph
- two-dimensional lattice graph
- two-partite graph
- undirected graph
- unicyclic graph
- vertex critical graph
- vertical bar graph
- x-y graphThe New English-Russian Dictionary of Radio-electronics > graph
-
10 relation
а) соотношение; уравнениеб) связь; зависимостьг) два выражения, соединённые знаком операции сравнения•- almost universal relation
- antisymmetry relation
- apartness relation
- associativity relation
- atomic relation
- base relation
- bifunctional relation
- binary relation
- causal relation
- closure relation
- communication relation
- commutativity relation
- complementariness relation
- completeness relation
- constitutive relations
- constraint relation
- correlation relation
- correspondence relation
- covering relation
- definable relation
- dependence relation
- derived relation
- directed relation
- empty relation
- equality relation
- equinumerosity relation
- equivalence relation
- expressible relation
- extensional relation
- fuzzy relation
- homomorphism relation
- identity relation
- implication relation
- incidence relation
- inclusion relation
- inductive relation
- inequality relation
- intermediacy relation
- inter-organizational relations
- isomorphism relation
- Kramers-Kronig relations
- logical relation
- magnitude relation
- Manley-Rowe relations
- man-machine relation
- membership relation
- multi-valued relation
- negative relation
- one-to-many relation
- one-to-one relation
- ordering relation
- orthogonality relation
- parent-child relation
- partial equivalence relation
- partial ordering relation
- personnel relation
- polynomial relation
- positive relation
- precedence relation
- preference relation
- proportionality relation
- public relations
- reciprocity relations
- recurrent relation
- reflexive relation
- relation of coincidence
- relation of congruence
- relation of consequence
- relation of direct consequence
- relation of isomorphism
- relation over set
- representing relation
- semantic relation
- strict dominance relation
- strong relation
- symmetry relation
- transitive relation
- transitivity relation
- weak relationThe New English-Russian Dictionary of Radio-electronics > relation
-
11 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation
См. также в других словарях:
Semantic Web Rule Language — SWRL (Semantic Web Rule Language) is a proposal for a Semantic Web rules language, combining sublanguages of the OWL Web Ontology Language (OWL DL and Lite) with those of the Rule Markup Language (Unary/Binary Datalog).The specification was… … Wikipedia
implication — Synonyms and related words: absorption, accusal, accusation, accusing, affective meaning, allegation, allegement, allegory, allusion, arcane meaning, arraignability, arraignableness, arraignment, assault, association, assumption, attack, bearing … Moby Thesaurus
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Akal — literally timeless, immortal, non temporal, is a term integral to Sikh tradition and philosophy. It is extensively used in the Dasam Granth hymns by Guru Gobind Singh, who titled one of his poetic compositions Akal Ustat , i.e. In Praise (ustati) … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
Twelfth century (The) — The twelfth century John Marenbon INTRODUCTION The twelfth century began and ended with events which mark it off, at least symbolically, as a discrete period in the history of Western philosophy. It was in about 1100 that Abelard the most wide… … History of philosophy
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Linguistic universal — A linguistic universal is a statement that is true for all natural languages. For example, All languages have nouns and verbs, or All spoken languages have consonants and vowels. Research in this area of linguistics is closely tied to linguistic… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium